Wyniki
-
A Perzanowski's hypothesis confirmed
Tomasz Kowalski
Bulletin of the Section of Logic , 25 /1 (1996) s. 58-59 -
A remark on quasivarieties of modal algebras
Tomasz Kowalski
Bulletin of the Section of Logic , 29 /1-2 (2000) s. 27-30 -
Propositional dynamic logic has interpolation
Tomasz Kowalski
Bulletin of the Section of Logic , 30 /1 (2001) s. 33-39 -
Weakly Associative Relation Algebras Hold the Key to the Universe
Tomasz Kowalski
Bulletin of the Section of Logic , 36 /3-4 (2007) s. 145-158 -
Atomic Incompleteness or how to Kill One Bird with Two Stones
Marcus Kracht, Tomasz Kowalski
Bulletin of the Section of Logic , 30 /2 (2001) s. 71-78 -
The existence of matrices strongly adequate for E, R and their fragments
Marek Tokarz
Bulletin of the Section of Logic , 7 /3 (1978) s. 121-128 -
Some remarks on BCK-algebras
Marek Pałasiński
Bulletin of the Section of Logic , 9 /2 (1980) s. 85-87 -
On ideals in directed commutative BCK-algebra
Marek Pałasiński
Bulletin of the Section of Logic , 9 /3 (1980) s. 145-151 -
An example of the commutative BCK-algebra
Marek Pałasiński
Bulletin of the Section of Logic , 9 /4 (1980) s. 163-165 -
Ideals in BCK-algebras which are lower semilattices
Marek Pałasiński
Bulletin of the Section of Logic , 10 /1 (1981) s. 48-55 -
On a problem on BCK-algebras
Marek Pałasiński
Bulletin of the Section of Logic , 10 /2 (1981) s. 93-99 -
Varieties of commutative BCK-algebras not generated by their finite members
Marek Pałasiński
Bulletin of the Section of Logic , 12 /3 (1983) s. 134-135 -
On BCK-algebras with the operation (S)
Marek Pałasiński
Bulletin of the Section of Logic , 13 /1 (1984) s. 13-17 -
Towards a formal semiotics
Marek Tokarz
Bulletin of the Section of Logic , 13 /2 (1984) s. 44-49 -
Goals, results and efficiency of utterances
Marek Tokarz
Bulletin of the Section of Logic , 14 /4 (1985) s. 150-157 -
Remarks on logics generated by ordered algebras
Iwona Marek
Bulletin of the Section of Logic , 15 /2 (1986) s. 44-47 -
Adequate semantics for non-pseudoaxiomatic consequence operations
Iwona Marek
Bulletin of the Section of Logic , 15 /2 (1986) s. 66-71 -
Binary functions definable in implicational Goedel algebras
Marek Tokarz
Bulletin of the Section of Logic , 3 /1 (1974) s. 22-24 -
A method of axiomatization of Luaksiewicz logics
Marek Tokarz
Bulletin of the Section of Logic , 3 /2 (1974) s. 21-23